2

On binary reflected Gray codes and functions

Year:
2008
Language:
english
File:
PDF, 158 KB
english, 2008
3

Implementing the ‘Fool's model’ of combinatory logic

Year:
1991
Language:
english
File:
PDF, 1.69 MB
english, 1991
4

Pure Type Systems with More Liberal Rules

Year:
2001
Language:
english
File:
PDF, 425 KB
english, 2001
5

On adding (ξ) to weak equality in combinatory logic

Year:
1989
Language:
english
File:
PDF, 400 KB
english, 1989
6

Locating terms in the Stern–Brocot tree

Year:
2010
Language:
english
File:
PDF, 720 KB
english, 2010
7

Child’s addition in the Stern–Brocot tree

Year:
2012
Language:
english
File:
PDF, 293 KB
english, 2012
8

Closed form expressions for two harmonic continued fractions

Year:
2017
Language:
english
File:
PDF, 95 KB
english, 2017
9

Combinatory abstraction using B, B′ and friends

Year:
1994
Language:
english
File:
PDF, 1017 KB
english, 1994
11

A generalized attack on RSA type cryptosystems

Year:
2017
Language:
english
File:
PDF, 464 KB
english, 2017
12

Linking the Calkin–Wilf and Stern–Brocot trees

Year:
2010
Language:
english
File:
PDF, 534 KB
english, 2010
13

Unique representations of integers using increasing sequences

Year:
2014
Language:
english
File:
PDF, 284 KB
english, 2014
16

Weaker D-Complete Logics

Year:
1996
Language:
english
File:
PDF, 360 KB
english, 1996
18

On the self matching properties of [jτ]

Year:
2001
Language:
english
File:
PDF, 106 KB
english, 2001
19

Self-matching bands in the paperfolding sequence

Year:
2011
Language:
english
File:
PDF, 226 KB
english, 2011
24

1992 Annual Meeting of the Australasian Association for Logic

Year:
1993
Language:
english
File:
PDF, 689 KB
english, 1993